(declare-fun a () Int)
(declare-fun b () Bool)
(declare-fun c () Bool)
(declare-fun d () Bool)
(declare-fun e () Bool)
(declare-fun f (Int) Bool)
(declare-fun g () Int)
(declare-fun h (Int) Bool)
(declare-fun i (Int) Bool)
(declare-fun j () Bool)
(declare-fun k () Bool)
(declare-fun l () Bool)
(declare-fun m () Int)
(declare-fun n () Int)
(declare-fun o () Bool)
(assert j)
(assert l)
(assert (= g (ite (= a 0) 0 (ite b 0 (ite c 0 (ite d 0 (ite o 0 (ite e (ite k (/ 1 0) 0) n))))))))
(assert (distinct (h 0) (<= 1 m 1 (/ 0 n))))
(assert (= (f 0) (i 0)))
(check-sat)
